Nuprl Definition : cond-to-list
11,40
postcript
pdf
?[
x
] == case
x
of inl(
y
) => [
y
] | inr(
y
) => []
latex
clarification:
?[
x
] == case
x
of inl(
y
) => [
y
/ []] | inr(
y
) => []
latex
Definitions
case
b
of inl(
x
) =>
s
(
x
) | inr(
y
) =>
t
(
y
)
,
[
car
/
cdr
]
,
[]
FDL editor aliases
cond-to-list
origin